<html><body>
Plug-in manager and related classes
</body></html>
